application property - определение. Что такое application property
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое application property - определение

Disjunction property; Existence property; Witness property

Application software         
SOFTWARE PROGRAM OR GROUP OF PROGRAMS DESIGNED FOR END-USERS
Application program; Computer application; Software applications; Computer applications; App code; Applications software; Application package; Suite of applications; Software application; Software Application; Applications program; Applications programs; Computer Applications; Application model; Applications (computing); Application (computing); Desktop application; Application (computer); Desktop software; Desktop applications; Local application; Desktop app; Application (software); Computer app; App (computing); Application softwares
An application program (software application, or application, or app for short) is a computer program designed to carry out a specific task other than one relating to the operation of the computer itself, typically to be used by end-users. Word processors, media players, and accounting software are examples.
application software         
SOFTWARE PROGRAM OR GROUP OF PROGRAMS DESIGNED FOR END-USERS
Application program; Computer application; Software applications; Computer applications; App code; Applications software; Application package; Suite of applications; Software application; Software Application; Applications program; Applications programs; Computer Applications; Application model; Applications (computing); Application (computing); Desktop application; Application (computer); Desktop software; Desktop applications; Local application; Desktop app; Application (software); Computer app; App (computing); Application softwares
application program         
SOFTWARE PROGRAM OR GROUP OF PROGRAMS DESIGNED FOR END-USERS
Application program; Computer application; Software applications; Computer applications; App code; Applications software; Application package; Suite of applications; Software application; Software Application; Applications program; Applications programs; Computer Applications; Application model; Applications (computing); Application (computing); Desktop application; Application (computer); Desktop software; Desktop applications; Local application; Desktop app; Application (software); Computer app; App (computing); Application softwares
<programming, operating system> (Or "application", "app") A complete, self-contained program that performs a specific function directly for the user. This is in contrast to system software such as the operating system kernel, server processes, libraries which exists to support application programs and utility programs. Editors for various kinds of documents, spreadsheets, and text formatters are common examples of applications. Network applications include clients such as those for FTP, electronic mail, telnet and WWW. The term is used fairly loosely, for instance, some might say that a client and server together form a distributed application, others might argue that editors and compilers were not applications but utility programs for building applications. One distinction between an application program and the operating system is that applications always run in {user mode} (or "non-privileged mode"), while operating systems and related utilities may run in supervisor mode (or "privileged mode"). The term may also be used to distinguish programs which communicate via a graphical user interface from those which are executed from the command line. (2007-02-02)

Википедия

Disjunction and existence properties

In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005).